(set-logic QF_DTLIA)
(set-info :status sat)
(declare-codatatypes ((a 0)) (((b (c Int) (d a)))))
(declare-fun e () a)
(declare-fun f () a)
(assert (distinct f (b 0 f)))
(assert (= e f))
(check-sat)
